So says a study presented at a meeting of the Association for Computing Machinery. 美国计算机协会一次会议上发布的研究如是说。
The development of formal logic and its implementation in computing machinery is fundamental to computer science. 发展形式逻辑和其执行情况的计算机是计算机科学的基础。
A gear calculating method, based on the computing means of load capacity of Nation's Gear Standard, and incorporated with the feature of gears transmission of metallurgical machinery, is summarized to meet the metallurgical industry. 本文结合冶金机械齿轮传动的工作特点,在国标圆柱齿轮承载能力计算法的基础上,总结了一种适合冶金行业的计算法。
To realize the automatization with regard to machinery part design process, and to solve miscellaneous parameter computing problems, the plug in technology is developed which can admit a great lot calculational plug in part and expansibility all right to compute machinery part parameters. 为了实现机械零件设计过程自动化,解决繁杂的各类参数计算问题,采用插件技术开发了一个能容纳大量计算插件的扩展性很强的机械零件参数计算系统。
According to the linear cumulative damage theory, this paper gave a method for computing the crack initiation life of a small construction member of farm machinery which was acted upon by the load spectrum. 本文根据线性累积损伤理论,给出了农业机械中、小零构件在谱载荷作用下裂纹形成寿命的计算方法。
Life computing of construction member of farm machinery acted upon by the load spectrum 农机零构件在谱载荷作用下的寿命计算